1. Verification, Induction, Termination Analysis
پدیدآورنده : / Simon Siegler, Nathan Wasser
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
پدیدآورنده : / Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
3. Verification, induction, termination analysis
پدیدآورنده : Simon Siegler, Nathan Wasser (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Walther, Christoph,Functional programming (Computer science)
رده :
QA76
.
62
.
V47
2010eb
